Esse artigo se propõe a estabelecer um diálogo entre as contribuições de Marcel Mauss e Maurice Merleau-Ponty, no concernente às analises engendradas a respeito do corpo, que se faz à luz da corporeidade, um instrumento relacional com o entorno. Inobstante, a fundamentação principiológica de ambos, os dois se propuseram a superação do egrégio vértice inaugurado por Descartes – o pensamento e a matéria. Ademais, o texto pretende demonstrar a tangibilidade de diálogo entre suas convicções, bem como abarcar concepções filosóficas, manifestando (...) seu cunho transdisciplinar. Busca-se a validação das bases antropo-filosóficas para a consolidação do Direito ao Corpo, assentado nos preceitos fundamentais. (shrink)

O objetivo do artigo é explorar as conexões entre o problema da morte, o conceito de ideia e a tese da indestrutibilidade do nosso ser com a morte, em Schopenhauer. Como ponto de partida, é apresentada a crítica de Schopenhauer à compreensão empírica da morte como passagem ao não-ser. Passa-se, então às considerações do filósofo sobre a indestrutibilidade do nosso ser com a morte, por meio do destaque às suas considerações sobre o caráter de coisa, vinculado à sua intepretação das (...) ideias como formas eternas. Após discorrer pontualmente a respeito do sentido desta noção na filosofia platônica, são apresentados os principais elementos que configuram a apropriação schopenhaueriana da teoria platônica das ideias tendo em vista exclusivamente o problema elegido, qual seja, a morte e a indestrutibilidade do nosso ser. (shrink)

O objetivo do artigo é apresentar a compreensão schopenhaueriana do caráter de indivíduo a partir da tese metafísica do monismo da vontade. Num primeiro momento, explora as implicações da afirmação de Schopenhauer de que somente no ser humano o caráter de espécie e o caráter de indivíduo se separam; na sequência, aborda o problema da asseidade da vontade tendo em vista seus desdobramentos na formulação do caráter de indivíduo; e, por fim, aborda o tema da negação da vontade e sua (...) relação com o problema da individualidade do ser humano, tanto no locus pontual da argumentação apresentada por Schopenhauer, quanto nos desdobramentos implícitos na apropriação interpretativa do Cristianismo entendido como uma teoria pessimista. (shrink)

IntroductionThere is a need to maintain rehabilitation activities and motivate movement and physical activity during quarantine in individuals with Cerebral Palsy.ObjectiveThis paper sets out to evaluate the feasibility and potential benefits of using computer serious game in a non-immersive virtual reality implemented and evaluated completely remotely in participants with CP for Home-Based Telerehabilitation during the quarantine period for COVID-19.MethodsUsing a cross-sectional design, a total of 44 individuals participated in this study between March and June 2020, 22 of which had CP (...) and 22 typically developing individuals, matched by age and sex to the individuals with CP. Participants practiced a coincident timing game1 and we measured movement performance and physical activity intensity using the rating of perceived exertion Borg scale.ResultsAll participants were able to engage with the VR therapy remotely, reported enjoying sessions, and improved performance in some practice moments. The most important result in this cross-sectional study was the significant increasing in rating of perceived exertion in both groups during practice and with CP presenting a higher rating of perceived exertion.ConclusionChildren with CP enjoyed participating, were able to perform at the same level as their peers on certain activities and increased both their performance and physical activity intensity when using the game, supporting the use of serious games for this group for home therapy and interactive games.Clinical Trials Registrationhttps://Clinicaltrials.gov, NCT04402034. Registered on May 20, 2020. (shrink)

Abordagens (etno)filosóficas no e do direito -- Criminologia, direito penal e direito internacional humanitário -- Educação em direitos humanos e fundamentais -- Hermanêutica jurídica e sistemas teóricos do conhecimento no direito -- Gênero na transversalidade no direito : epistemologias da marginalização do 'outro' não hegemônico.

Este artigo apresenta parte de uma pesquisa realizada em nível de mestrado e que objetivou compreender de que forma raça e gênero se interseccionaram nas memórias acionadas sobre as experiências vividas por trabalhadoras assentadas da Fazenda Sururu de Queiroz, Varzedo/BA. Para isso, acionamos o feminismo negro e descolonial como ancoragem teórico-política para demarcar que as múltiplas opressões sofridas pelas mulheres negras estão interligadas com raça e gênero, o que implicou em visibilizar o racismo, o sexismo e o biocapitalismo nas (...) histórias de vidas destas mulheres, bem como as suas estratégias infrapolíticas como resistências em ecos das nossas ancestralidades. No âmbito metodológico, apresentamos uma abordagem de pesquisa qualitativa, de modo a priorizar o reconhecimento do território e a escuta da narrativa de mulheres negras campesinas da Fazenda Sururu. Assim, o trabalho de campo contou com visitas à comunidade e com entrevistas semiestruturadas para que as escutas das narrativas das mulheres negras campesinas fossem potencializadas. As leituras de mulheres negras intelectuais são imprescindíveis para entendermos o processo de desumanização de mulheres negras engendrado pelo capitalismo e o patriarcado. As narrativas demonstram as cosmovisões e as resistências infrapolíticas que fraturam o capitalismo, o eurocentrismo e a modernidade, agenciando e fortalecendo os legados comunitários. (shrink)

O presente trabalho tem o objetivo de conectar a teoria criada por Pierre Bourdieu sobre a violência simbólica e o texto de Audre Lorde, The use of anger: women responding to racism do seu livro Sister Outsider; demonstrando a importância do debate sobre a relação entre dominante e dominado a partir do viés racial, tema abordado por ambos autores em seus textos. Com este fito, pretendemos diferenciar os resultados objetivos do ódio, raiva e culpa, bem como o modo que as (...) agressões invisíveis repercutem na vida do oprimido. Tendo como foco o racismo na vida da “mulher de cor” que ainda nos dias de hoje, em uma pirâmide social, se encontram em desvantagem quanto aos demais indivíduos. Faz parte dos objetivos também trazer à tona a reação do oprimido como consequência natural dos séculos de silenciamento, privação e desumanização, analisando os mecanismos institucionais para pacificação social. (shrink)

Taxonomies of living things and the methods used to produce them changed little with the institutionalization of evolutionary thinking in biology. Instead, the relationships expressed in existing taxonomies were merely reinterpreted as the result of evolution, and evolutionary concepts were developed to justify existing methods. I argue that the delay of the Darwinian Revolution in biological taxonomy has resulted partly from a failure to distinguish between two fundamentally different ways of ordering identified by Griffiths : classification and systematization. Classification consists (...) of ordering entities into classes, groups defined by the attributes of their members; in contrast, systematization consists of ordering entities into systems, more inclusive entities whose existence depends on some natural process through which their parts are related. Evolutionary, or phylogenetic, systematics takes evolutionary descent to be the natural process of interest in biological taxonomy. I outline a general framework for a truly phylogenetic systematics and examine some of its consequences. (shrink)

An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of (...) taxon names and thus constitute an important step in the development of phylogenetic taxonomy. By treating phylogenetic relationships rather than organismal traits as necessary and sufficient properties, phylogenetic definitions remove conflicts between the definitions of taxon names and evolutionary concepts of taxa. The general method of definition represented by phylogenetic definitions of clade names can be applied to the names of other kinds of composite wholes, including populations and biological species. That the names of individuals (composite wholes) can be defined in terms of necessary and sufficient properties provides the foundation for a synthesis of seemingly incompatible positions held by contemporary individualists and essentialists concerning the nature of taxa and the definitions of taxon names. (shrink)

At least three different issues are commonly referred to by the term “the species problem”: one concerns the necessary properties of species, a second the processes responsible for the existence of species, and a third methods for inferring species limits. Solutions have recently been proposed to the first two problems, which are conceptual in nature (the third is methodological). The first equates species with metapopulation lineages and proposes that existence as a separately evolving metapopulation lineage be considered the only necessary (...) property of species. The second views the species category as a cluster concept and proposes that no single process or set of processes be considered necessary for the existence of species. Although these two solutions have been portrayed as being in conflict, they are, in fact, highly compatible. Moreover, the proposals in question clarify the problem concerning methods for inferring the limits of species, which has for a long time been confused with the problem concerning the necessary properties of species. Together these proposals provide the opportunity for biology to move beyond debates about the definition of the species category and focus on estimating the boundaries and numbers of species as well as studying the diverse processes involved in their origin and persistence. BioEssays 27:1263–1269, 2005. © 2005 Wiley Periodicals, Inc. (shrink)

Carnival was brought to the New World by Spanish and Portuguese colonizers, and it has been preserved there up to our day, although in the meantime it has almost disappeared from the countries where it originated. One asks oneself if Carnival has kept its original characteristics over the years, or if it instead has been transformed, and if so, how. The ethnological and cultural variety present in Latin America leads us to think that there must have been an evolution over (...) the years, and that Carnival should show some signs of acculturation. It is the examination of these two points that will be the subject of our study. (shrink)

SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory.RésuméSi on considère la théorie de la démonstration comme une tentative de ‘codifier’ les pas logiques d'une démonstration mathématique, on se rendra compte qu'on n'a pas répondu de façon satisfaisante à la question suivante: quelles sont les règies qui rendent complètement explicite le sens d'un connecteur logique? Le lambda‐calcul a été apparemment plus cohérent, tout simplement parce que l'utilisation du‘λ’ avec sa projection 'apply' est spécifiée par une regie de 'réduction': β‐conversion. Nous essayons d'analyser le rôle des règies de démonstration, en utilisant un système formel de règies conçu pour englober à la fois les notions de la théorie de la démonstration et celles du lambda‐calcul: la Théorie Intuitionniste des Types de Martin‐Löf.ZusammenfassungWenn man Beweistheorie als einen Versuch, ein allgemeines Muster der logischen Schritte in einem mathematischen Beweis zu kodifizieren, betrachtet, so scheint die Frage nach der Art von Regeln , die die Bedeutung von logischen Operatoren vollständig beschreiben, nicht zufriedenstellend beantwortet. Der Lambda‐Kalkül erscheint, kohärenter, einfach deshalb weil der Gebrauch von ‘λ’ zusammen mit dessen Projektion 'apply' durch Regeln bestimmt wird, die man 'Reduktions'‐Regeln nennen kann: β‐Konversion. Wir versuchen, die Rolle von Beweisregeln zu analysieren, indem wir ein Regelsystem verwenden, das sowohl die Begriffe der Beweistheorie als auch diejenigen des Lambda‐Kalküls erfasst, nämlich die Martin‐Löfsche Typentheorie. (shrink)

Rio de Janeiro, the opening of the carnival. On the Friday evening preceding Mardi Gras, the mayor of Rio hands over the keys to the city to King Momo, sovereign of the carnival. Immediately the samba breaks out in the brightly lit streets of the city. Newspapers, magazines and television feature big headlines describing the event and glorifying the holiday kingdom. They all report that the city is being shaken by winds of madness, that licence and inversions of every variety (...) are rampant, that the leveling of individuals and the abolition of social distances illustrate the resolutions of conflicts in a collective dream of joy and happiness…. (shrink)

Rio de Janeiro, the opening of the carnival. On the Friday evening preceding Mardi Gras, the mayor of Rio hands over the keys to the city to King Momo, sovereign of the carnival. Immediately the samba breaks out in the brightly lit streets of the city. Newspapers, magazines and television feature big headlines describing the event and glorifying the holiday kingdom. They all report that the city is being shaken by winds of madness, that licence and inversions of every variety (...) are rampant, that the leveling of individuals and the abolition of social distances illustrate the resolutions of conflicts in a collective dream of joy and happiness…. (shrink)

El contexto del Concilio Vaticano II vivió un aspecto fundamental que es necesario valorar: el clima de libertad, de apertura y alegría traído por el Concilio, sin coacciones, ni imposiciones sobre numerosos aspectos de la vivencia de la fe, ni moralismos, ni casuísticas sobrepasadas. Además de reflexiones teológicas para abrir nuevos caminos, el Concilio trajo un nuevo clima para la Iglesia. En América Latina, que sufría dictaduras asesinas, la Iglesia del Concilio era luz que sustentaba la evangelización y la lucha (...) por la justicia. Ahora, como en el periodo que precedió al Concilio, las señales de los tiempos perciben que algo tiene que ocurrir. Como entonces, es preciso superar la perplejidad y el temor, abriéndose a una gran esperanza. La búsqueda sigue, con la paciencia activa que soporta las “demoras de Dios”, aguantando sorpresas y contradicciones sin abatirse. Es un tiempo apropiado para vivir con intensidad la recomendación del Apóstol de ser “alegres en la esperanza, firmes en la tribulación, constantes en la oración” (Rm 12,12). - DOI: 10.5752/P.2175-5841.2011v9n24p1361. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time of (...) assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

Further to the connections between meaning and use, it seems useful to consider the consequences one is allowed to draw from a proposition as something directly related to its meaning/use. And indeed, Wittgenstein's references to the connections between meaning and the consequences, as well as between use and consequences are sometimes as explicit as his celebrated ‘definition’ of meaning as use given in the Investigations. Here we attempt to collect some of these references, discussing how an intuitive basis for the (...) construction of a more convincing proof-theoretic semantics for the mathematical language can arise out of this connection meaning/use/ consequences. (shrink)

As a celebration of theTractatus100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that “everyone is aware of the holistic character of Wittgenstein’s later philosophy, but it is not so well known that it was already beginning to establish itself in theTractatus” (The False Prison, 1987). From the latter to the former, Stephen Hilmy’s (The Later Wittgenstein, 1987) extensive study of theNachlasshas helped removing classical misconceptions such as (...) Hintikka’s claim that “Wittgenstein in thePhilosophical Investigationsalmost completely gave up the calculus analogy.” Hilmy points out that even in theInvestigationsone finds the use of the calculus/game paradigm to the understanding of language, such as “in operating with the word” (Part I, §559) and “it plays a different part in the calculus”. Hilmy also quotes from a late (1946) unpublished manuscript (MS 130) “this sentence has use in the calculus of language”, which seems to be compatible with “asking whether and how a proposition can be verified is only a particular way of asking ‘How do you mean?’” Central in this back and forth there is an aspect which seems to deserve attention in the discussion of a semantics for the language of mathematics which might be based on (normalisation of) proofs and/or Hintikka/Lorenzen game-dialogue: the explication of consequences. Such a discussion is substantially supported by the use of the open and searchableThe Wittgenstein Archives at the University of Bergen. These findings are framed within the discussion of the meaning of logical constants in the context of natural deduction style rules of inference. (shrink)

This article aims to present a discussion about childhood from the issues raised by the short film entitled Alma, directed, produced and scripted by the filmmaker André Morais. In the work, we experience a day in the life of a girl who lives with her grandmother and who, throughout the plot, weaves questions about her own existence, the senses of life and the dimensions of the relationships we establish with each other. It is discussed in this article, therefore, the power (...) of cinema and childhood as dimensions that invite a dialogue capable of converging art and life, also revitalizing the field of science, from the reflections that are dear to the dynamics of human experience. What conceptions of childhood are presented in the production? In what ways does the chosen approach broaden the discussion about childhood and cinema as potencies? To what extent do the questions raised by the child connect their childhood experience to the experiences of those who watch it on screen? In order to mobilize the discussion, the text is organized from scenes, which characterize the sequence of events that give meaning to what the film wants to express. In the first, the central theme is presented; in the second, the questions for which the short awakens us throughout the narrative; and in the third, it seeks to expand the possibilities of reading, rather than closing them. These scenes support the discussions brought here through Walter Benjamin, Mikhail Bakhtin, Antoine de Saint-Exupéry, Aristotle and Hannah Arendt. (shrink)

Introdução: As aulas virtuais se tornaram o principal meio de ensino das instituições educacionais diante da pandemia, e essa mudança repercutiu diretamente na autoestima dos estudantes e consequentemente nos rendimentos acadêmicos. Objetivo: avaliar a autoestima dos estudantes de enfermagem em contexto pandêmico. Metodologia: Trata-se de um estudo descritivo, com uma abordagem quantitativa. A coleta e análise de dados se deu a partir da escala de autoestima de Rosenberg (The Rosenberg Self-Esteem) e de instrumento complementar desenvolvido pelos autores. A pesquisa foi (...) realizada no Centro de Educação e Saúde da Universidade Federal de Campina Grande, com 155 estudantes do Curso de Bacharelado em Enfermagem. Resultados: Dentre os participantess, 60,7% apresentam valores que indicam uma autoestima diminuída de modo geral. Os números indicam que a maioria absoluta apresentava uma baixa autoestima, decorrente do período vivenciado na pandemia, com uma pontuação entre 7 e 12 no escore, o que representa 89,7% dos entrevistados. Isso mostra que o desgaste vivenciado pelos estudantes durante esse tempo é presente e notório. Conclusão: A baixa autoestima está presente entre os estudantes, como mostram os resultados obtidos através dessa pesquisa, que podem sugerir que essa autoestima diminuída seja advinda do período vivenciado pela pandemia. (shrink)

The historical formation of Brazil is distinguished from the majority of ex-colonial nations by one factor that is especially characteristic: an intense process of ethnic and cultural mixing. The Portuguese colonisers, who, unlike the English Puritans in North America, left their families and arrived in Brazil in small groups mainly composed of men, naturally tended to pair off with the women they found available - first of all indigenous women and later African women. There was nothing in Brazil to prevent (...) this spontaneous behaviour similar to the role played in the English colonies of North America by the strength of the family group or the strict religious observance of the community. Thus from the outset Brazil tended to accept racial mixing as a de facto reality. As Gilberto Freyre correctly noted in his book Casa Grande e Senzala:They mixed happily with women of colour from the very first contacts and many mixed-race children resulted, so much so that only a few thousand men were enough to colonize vast areas and compete with the greatest and most numerous peoples as regards the extent of the colonial territory and the effectiveness of colonizing activity. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

O trabalho consiste no estudo da relação entre o conceito de hegemonia na obra do pensador e militante italiano Antônio Gramsci e a construção de uma nova moralidade a partir da reflexão e vivência de valores emancipatórios. Tal relação se fundamenta na medida em que observamos a conceituação gramsciana acerca do processo de conquista de hegemonia que pode ser primordialmente compreendido como reforma intelectual e moral, ou seja, um espraiamento de uma determinada concepção de mundo e divulgação das conquistas culturais (...) para amplas camadas da população bem como a vivência de valores e a construção de uma nova moral a partir da reflexão ética. (shrink)